Phased State Space Search

نویسنده

  • T. A. MARSLAND
چکیده

PS*, a new sequential tree searching algorithm based on the State Space Search (SSS*), is presented. PS*(k) divides each MAX node of a game tree into k partitions, which are then searched in sequence. By this means two major disadvantages of SSS*, storage demand and maintenance overhead, are significantly reduced, and yet the corresponding increase in nodes visited is not so great even in the random tree case. The performance and requirements of PS* are compared on both theoretical and experimental grounds to the well known αβ and SSS* algorithms. The basis of the comparison is the storage needs and the average count of the bottom positions visited. To appear in the Procs. of the ACM/IEEE Fall Joint Computer Conference, Dallas, Nov. 1986.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

Phased array antenna using MEMS phase shifter

This article presents a phased array antenna employing MEMS phase shifter. The proposed phased array antenna consists of eight square patch antennas operating at 10.4 GHz with a bandwidth of 400 MHz. Feed line for each patch passes through a MEMS phase shifter realized by a series of bridges above the transmission line. The distance between the bridge and the transmission line underneath it is ...

متن کامل

Phased-Array Antenna System for the MESSENGER Deep Space Mission1

MESSENGER's high-data-rate downlink will use the first electronically scanned phased-array antenna for a deepspace telecommunication application. Measured results for the lightweight phased-array antenna and the highefficiency Solid State Power Amplifiers (SSPAs), developed by JHU/APL, are presented. Two functional amplifiers within the X-band SSPAs provide output power that is scalable from 11...

متن کامل

GeneRecon - a coalescent based tool for fine-scale association mapping

UNLABELLED GeneRecon is a tool for fine-scale association mapping using a coalescence model. GeneRecon takes as input case-control data from phased or unphased SNP and microsatellite genotypes. The posterior distribution of disease locus position is obtained by Metropolis-Hastings sampling in the state space of genealogies. Input format, search strategy and the sampled statistics can be configu...

متن کامل

ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way

Automatic verification techniques, which analyze all processes at once, typically do not scale well for large, complex concurrent software systems because of the theoretic barrier – PSPACE hard complexity in worst case. In this paper, we present our tool named ARCATS (Architecture Refactoring and Compositional Analysis Tool Suite). ARCATS consists a set of tools to combat state explosion in a d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1986